n (logic) A formal deductive formal system | system in which formulae representing propositions can be formed by combining atomic propositions using logical connectives.